Dr
Rob Sison
Honorary (Fellow)
School of Computing and Information Systems
Interactive Theorem Proving
Formal Verification
Formal Methods
Computer Security
Information-Flow Security
46 information and computing sciences
4613 theory of computation
4612 software engineering
science & technology